\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage{listings}
\usepackage{oz, amsfonts}
\usepackage{graphicx}

\title{Software Engineering\\Assignment 5}
\author{Adrian.Nembach@uni-konstanz.de 01/842319\\Udo.3.Schlegel@uni-konstanz.de 01/840835\\Sirui.Liu@uni-konstanz.de 01/857316}
\begin{document}
\maketitle

\section*{Exercise 5.1}
Test Selection Criterion is complete, if there is a function, which takes an input domain and returns a result set, basically it describes an input-output behavior. And if this function fails there is a Test Suite for the function, for which the Test Suite is unsuccessful. Test Selection Criterion is consistent, if two Test Suites independent from another return as successful.\\
So if the Test Selection Criterion is both complete and consistent, the function is correct, because there is no outcome that has not been tested and there is no Test, which brings an unexpected result, so it must be correct. 

\section*{Exercise 5.2}
\begin{enumerate}
\item We use this input pattern (record.field1, record.field2, flag)
\begin{enumerate}
\item statement coverage: \{(0,0,true),(1,1,true),(1,1,false)\}
\item edge coverage: \{(0,0,true),(1,1,true),(1,1,false)\}
\item condition coverage: \{(0,0,true),(0,0,false),(1,1,true),(1,1,false)\}
\item path coverage: \{(0,0,true),(1,1,true),(1,1,false)\}
\item multiple condition coverage: \{(0,0,true),(0,0,false),(1,1,true),(1,1,false),(1,0,true),(1,0,false)\}
\end{enumerate}
\item 
\begin{center}
	\includegraphics[scale=0.5]{Ex5.png}
\end{center}

\end{enumerate}




\end{document}